$\vdash$  $\forall$$b$:$\mathbb{B}$. ($\neg\neg$($\uparrow$$b$)) $\Leftarrow\!\Rightarrow$ ($\uparrow$$b$)